Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting

نویسندگان

  • Jan A. Bergstra
  • Kees Middelburg
چکیده

We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple model of computation in which states of computations are modelled as data linkages and state changes take place by means of certain actions. We describe the state changes and replies that result from performing those actions by means of a term rewriting system with rule priorities. The model in question is an upgrade of molecular dynamics. The upgrading is mainly concerned with the features to deal with values and the features to reclaim garbage.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic Linkage of Persian Record with Missing Data

Extended Abstract. When the comprehensive information about a topic is scattered among two or more data sets, using only one of those data sets would lead to information loss available in other data sets. Hence, it is necessary to integrate scattered information to a comprehensive unique data set. On the other hand, sometimes we are interested in recognition of duplications in a data set. The i...

متن کامل

Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach

In this paper we model the problem of data linkage in Linked Data as a reasoning problem on possibly decentralized data. We describe a novel import-by-query algorithm that alternates steps of sub-query rewriting and of tailored querying the Linked Data cloud in order to import data as specific as possible for inferring or contradicting given target same-as facts. Experiments conducted on a real...

متن کامل

Application of Radial Basis Neural Networks in Fault Diagnosis of Synchronous Generator

This paper presents the application of radial basis neural networks to the development of a novel method for the condition monitoring and fault diagnosis of synchronous generators. In the proposed scheme, flux linkage analysis is used to reach a decision. Probabilistic neural network (PNN) and discrete wavelet transform (DWT) are used in design of fault diagnosis system. PNN as main part of thi...

متن کامل

MOLECULAR STUDY OF PKD1 & PKD2 GENES BY LINKAGE ANALYSIS AND DETERMINING THE GENOTYPE/PHENOTYPE CORRELATIONS IN SEVERAL IRANIAN FAMILIES WITH AUTOSOMAL DOMINANT POLYCYSTIC KIDNEY DISEASE

 ABSTRACT Background: Autosomal dominant polycystic kidney disease (ADPKD) is an inherited disorder with genetic heterogeneity. Up to three loci are involved in this disease, PKDI on chromosome 16p13.3, PKD2 on 4q21, and a third locus of unknown location. Methods: Here we report the first molecular genetic study of ADPKD and the existence oflocus heterogeneity for ADPKD in the Iranian populatio...

متن کامل

Choosing the Best Hierarchical Clustering Technique Based on Principal Components Analysis for Suspended Sediment Load Estimation

1- INTRODUCTION The assessment of watershed sediment load is necessary for controling soil erosion and reducing the potential of sediment production. Different estimates of sediment amounts along with the lack of long-term measurements limits the accessibility to reliable data series of erosion rate and sediment yield. Therefore, the observed data of suspended sediment load could be used to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 128  شماره 

صفحات  -

تاریخ انتشار 2013